precedence of operators in discrete mathematics